Readd line removed by mistake in the previous commit
authorPaolo Borelli <pborelli@gnome.org>
Tue, 14 Jan 2014 19:23:52 +0000 (20:23 +0100)
committerPaolo Borelli <pborelli@gnome.org>
Tue, 14 Jan 2014 19:23:52 +0000 (20:23 +0100)
commit84b44dd2acd82d907e2e4e3b409a8e784e7ec05a
treef2a2158adade682edd4817328f2bd117cdf1925a
parent4a3f21b693d98853d82918c92005d5cbbe30db03
Readd line removed by mistake in the previous commit
gtk/gtknotebook.c